Une méthode micro-informatique pour l'exploitation des recensements de la première Capitation

Une méthode pour la définition de l'impact organisationnel du changement

RÉSUMÉ. La variété et la continuité des changements auxquels les organisations modernes sont soumises, ont donné naissance à de multiples approches de gestion du changement organisationnel. Ces approches proposent des directives générales pour gérer le processus de changement mais ne définissent pas de formalismes permettant de représenter le processus de changement, la vision du changement, l’...

Application de la méthode par diffusion d'Oudin-Oakley pour le dénombrement des antigènes tétaniques

ELKAR : Une méthode de ré-ingénierie d'applications pour la mise en oeuvre de la coopération

There an increasing demand from firms to evolve their applications to be more co-operative. The problem is to realise this migration and to maintain the quality of existing applications which are reliable due to previously encountered difficulties. This assumes the re-engineering of these applications. In some cases, temporary and non-satisfying applications have been added as external cooperat...

Maladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles

Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports

RÉSUMÉ. Le projet EDEMOI 1 a pour but la modélisation de la sécurité des aéroports. Son approche passe par la production de modèles graphiques (un ensemble de diagrammes UML) destinés à être validés par les experts du domaine, et de modèles formels destinés à être vérifiés. Pour assurer la correspondance entre ce qui est validé et ce qui est vérifié, il faut établir un lien fort entre ces deux ...